@prefix concept: <https://w3id.org/kmath/concept/> .
@prefix course: <https://w3id.org/kmath/course/> .
@prefix math: <https://w3id.org/kmath/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix review_status: <https://w3id.org/kmath/review_status/> .
@prefix scheme: <https://w3id.org/kmath/scheme/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix textbook_section: <https://w3id.org/kmath/textbook_section/> .

concept:change_of_base_formula a math:Concept ;
    rdfs:label "로그의 밑의 변환"@ko ;
    skos:altLabel "밑의 변환 공식"@ko ;
    skos:broader concept:logarithm ;
    skos:definition "a > 0, a ≠ 1, b > 0, c > 0, c ≠ 1일 때 log_a b = log_c b / log_c a가 성립하는 것이다. 이로부터 log_a b = 1/log_b a(b ≠ 1), log_(aᵐ) bⁿ = (n/m)·log_a b(m ≠ 0), log_a b·log_b c = log_a c(b ≠ 1), a^(log_c b) = b^(log_c a) 같은 성질이 따라 나온다."@ko ;
    skos:editorialNote "2026-09-28 GRIP 대수 개념서와 시발점 워크북 대수가 독립된 학습 항목으로 다루는 것을 근거로 추가했다. 도메인 전문가 검토가 필요하다."@ko ;
    skos:inScheme scheme:concepts ;
    skos:prefLabel "change-of-base formula"@en,
        "로그의 밑의 변환"@ko ;
    math:introducedIn course:algebra ;
    math:requires concept:logarithm_properties ;
    math:requiresTransitively concept:exponent_law,
        concept:integer,
        concept:integer_exponent,
        concept:irrational_number,
        concept:logarithm,
        concept:logarithm_properties,
        concept:nth_root,
        concept:nth_root_properties,
        concept:power,
        concept:rational_exponent,
        concept:rational_number,
        concept:real_exponent,
        concept:real_nth_root,
        concept:repeating_decimal,
        concept:square_root ;
    math:reviewStatus review_status:needs_review ;
    math:sourceSection textbook_section:grip_algebra_02_03_change_of_base,
        textbook_section:grip_algebra_02_04_various_logarithm_properties,
        textbook_section:sibaljeom_workbook_algebra_theme03_logarithms ;
    math:taughtIn course:algebra .